[INFO] fetching crate biodivine-lib-param-bn 0.4.7...
[INFO] checking biodivine-lib-param-bn-0.4.7 against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] extracting crate biodivine-lib-param-bn 0.4.7 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.4.7 on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.4.7
[INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.4.7
[INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.4.7 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate crates.io crate biodivine-lib-param-bn 0.4.7 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded roxmltree v0.18.1
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.5.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a05d9cb3c1a0f44f3a4a01bb1145ccf45cec78cd057de3518df1b52e4cedc155
[INFO] running `Command { std: "docker" "start" "-a" "a05d9cb3c1a0f44f3a4a01bb1145ccf45cec78cd057de3518df1b52e4cedc155", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a05d9cb3c1a0f44f3a4a01bb1145ccf45cec78cd057de3518df1b52e4cedc155", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a05d9cb3c1a0f44f3a4a01bb1145ccf45cec78cd057de3518df1b52e4cedc155", kill_on_drop: false }`
[INFO] [stdout] a05d9cb3c1a0f44f3a4a01bb1145ccf45cec78cd057de3518df1b52e4cedc155
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4f0ba7c93ffe65783c7c65f40f5f9d1823ea08ae7ddd96afcb5a17e6a0dd7ca8
[INFO] running `Command { std: "docker" "start" "-a" "4f0ba7c93ffe65783c7c65f40f5f9d1823ea08ae7ddd96afcb5a17e6a0dd7ca8", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling num-traits v0.2.17
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]     Checking memchr v2.6.4
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking xmlparser v0.13.6
[INFO] [stderr]     Checking bitvector v0.1.5
[INFO] [stderr]     Checking diff v0.1.13
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking pretty_assertions v1.4.0
[INFO] [stderr]     Checking roxmltree v0.18.1
[INFO] [stderr]     Checking aho-corasick v1.1.2
[INFO] [stderr]     Checking getrandom v0.2.10
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking regex-automata v0.4.3
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking biodivine-lib-bdd v0.5.2
[INFO] [stderr]     Checking regex v1.10.2
[INFO] [stderr]     Checking biodivine-lib-param-bn v0.4.7 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.87s
[INFO] running `Command { std: "docker" "inspect" "4f0ba7c93ffe65783c7c65f40f5f9d1823ea08ae7ddd96afcb5a17e6a0dd7ca8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4f0ba7c93ffe65783c7c65f40f5f9d1823ea08ae7ddd96afcb5a17e6a0dd7ca8", kill_on_drop: false }`
[INFO] [stdout] 4f0ba7c93ffe65783c7c65f40f5f9d1823ea08ae7ddd96afcb5a17e6a0dd7ca8
[INFO] checking biodivine-lib-param-bn-0.4.7 against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] extracting crate biodivine-lib-param-bn 0.4.7 into /workspace/builds/worker-0-tc2/source
[INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.4.7 on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.4.7
[INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.4.7
[INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.4.7 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] crate crates.io crate biodivine-lib-param-bn 0.4.7 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b4f6d8fbda2300254d2254914253465cd1bebc2131875f05898b8daf2dac07b2
[INFO] running `Command { std: "docker" "start" "-a" "b4f6d8fbda2300254d2254914253465cd1bebc2131875f05898b8daf2dac07b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b4f6d8fbda2300254d2254914253465cd1bebc2131875f05898b8daf2dac07b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b4f6d8fbda2300254d2254914253465cd1bebc2131875f05898b8daf2dac07b2", kill_on_drop: false }`
[INFO] [stdout] b4f6d8fbda2300254d2254914253465cd1bebc2131875f05898b8daf2dac07b2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9fde9b11d831c27f2694d43d18cf31ddb16eb2a6de071f585355d5464b353043
[INFO] running `Command { std: "docker" "start" "-a" "9fde9b11d831c27f2694d43d18cf31ddb16eb2a6de071f585355d5464b353043", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling num-traits v0.2.17
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]     Checking memchr v2.6.4
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking xmlparser v0.13.6
[INFO] [stderr]     Checking bitvector v0.1.5
[INFO] [stderr]     Checking diff v0.1.13
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking roxmltree v0.18.1
[INFO] [stderr]     Checking pretty_assertions v1.4.0
[INFO] [stderr]     Checking aho-corasick v1.1.2
[INFO] [stderr]     Checking getrandom v0.2.10
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking regex-automata v0.4.3
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking biodivine-lib-bdd v0.5.2
[INFO] [stderr]     Checking regex v1.10.2
[INFO] [stderr]     Checking biodivine-lib-param-bn v0.4.7 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_bdd_parameter_encoder.rs:109:10
[INFO] [stdout]     |
[INFO] [stdout] 109 |         (0..table.len())
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_bdd_parameter_encoder.rs:181:18
[INFO] [stdout]     |
[INFO] [stdout] 181 |         for i in 0..args.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]  --> src/bdd_params/_impl_function_table_entry.rs:8:18
[INFO] [stdout]   |
[INFO] [stdout] 8 |         for i in 0..self.regulators.len() {
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_function_table_entry.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |         for i in 0..self.regulators.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_static_constraints.rs:190:21
[INFO] [stdout]     |
[INFO] [stdout] 190 |             range: (0..table_size),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_witness_generator.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 |         for i_p in 0..self.parameters.len() {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_witness_generator.rs:66:22
[INFO] [stdout]    |
[INFO] [stdout] 66 |         for i_var in 0..self.graph.num_vars() {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_witness_generator.rs:158:34
[INFO] [stdout]     |
[INFO] [stdout] 158 |                 let name = &name[2..];
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/_impl_array_bit_vector.rs:76:18
[INFO] [stdout]    |
[INFO] [stdout] 76 |         for i in 0..self.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/_impl_bit_vector_58.rs:68:18
[INFO] [stdout]    |
[INFO] [stdout] 68 |         for i in 0..self.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/mod.rs:91:10
[INFO] [stdout]    |
[INFO] [stdout] 91 |         (0..self.len()).map(|i| self.get(i)).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/mod.rs:96:10
[INFO] [stdout]    |
[INFO] [stdout] 96 |         (0..self.len()).filter(|i| self.get(*i)).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/biodivine_std/bitvector/mod.rs:101:10
[INFO] [stdout]     |
[INFO] [stdout] 101 |         (0..self.len()).filter(|i| !self.get(*i)).collect()
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/biodivine_std/bitvector/mod.rs:117:18
[INFO] [stdout]     |
[INFO] [stdout] 117 |         for i in 0..self.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/symbolic_async_graph/_impl_symbolic_context.rs:67:26
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 for i in 0..extra_count {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:101:20
[INFO] [stdout]     |
[INFO] [stdout] 101 |         for i_p in 0..network.num_parameters() {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:183:18
[INFO] [stdout]     |
[INFO] [stdout] 183 |         for i in 0..self.num_state_variables() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:124:58
[INFO] [stdout]     |
[INFO] [stdout] 124 |         Box::new(Binary(Iff, imp(&data[..i])?, iff(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:134:57
[INFO] [stdout]     |
[INFO] [stdout] 134 |         Box::new(Binary(Imp, or(&data[..i])?, imp(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:144:56
[INFO] [stdout]     |
[INFO] [stdout] 144 |         Box::new(Binary(Or, and(&data[..i])?, or(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:154:58
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Box::new(Binary(And, xor(&data[..i])?, and(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:164:63
[INFO] [stdout]     |
[INFO] [stdout] 164 |         Box::new(Binary(Xor, terminal(&data[..i])?, xor(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:176:51
[INFO] [stdout]     |
[INFO] [stdout] 176 |             return Ok(Box::new(Not(terminal(&data[1..])?)));
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:32:57
[INFO] [stdout]    |
[INFO] [stdout] 32 |                 .and_then(|inner| inner.get_child(&path[1..]))
[INFO] [stdout]    |                                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:46:61
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 .and_then(|inner| inner.get_mut_child(&path[1..]))
[INFO] [stdout]    |                                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:61:38
[INFO] [stdout]    |
[INFO] [stdout] 61 |             entry.ensure_child(&path[1..])
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_impl_annotations/_impl_annotation.rs:105:57
[INFO] [stdout]     |
[INFO] [stdout] 105 |                 .and_then(|inner| inner.get_value(&path[1..]))
[INFO] [stdout]     |                                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:21:39
[INFO] [stdout]    |
[INFO] [stdout] 21 |             let mut annotation = line[2..].trim();
[INFO] [stdout]    |                                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:38:45
[INFO] [stdout]    |
[INFO] [stdout] 38 |                     annotation = annotation[capture[0].len()..].trim();
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:47:42
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 annotation = &annotation[2..annotation.len() - 2];
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_writer.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |         path = &path[1..];
[INFO] [stdout]    |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_boolean_network.rs:242:10
[INFO] [stdout]     |
[INFO] [stdout] 242 |         (0..self.parameters.len()).map(ParameterId)
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_boolean_network.rs:248:10
[INFO] [stdout]     |
[INFO] [stdout] 248 |         (0..self.update_functions.len())
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_regulatory_graph/_impl_misc.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 |         (0..self.variables.len()).map(VariableId)
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_regulatory_graph/signed_directed_graph/_impl_sd_graph.rs:10:10
[INFO] [stdout]    |
[INFO] [stdout] 10 |         (0..var_count).map(VariableId::from_index).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_space.rs:81:18
[INFO] [stdout]    |
[INFO] [stdout] 81 |         for i in 0..self.0.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_bdd_parameter_encoder.rs:109:10
[INFO] [stdout]     |
[INFO] [stdout] 109 |         (0..table.len())
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_bdd_parameter_encoder.rs:181:18
[INFO] [stdout]     |
[INFO] [stdout] 181 |         for i in 0..args.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]  --> src/bdd_params/_impl_function_table_entry.rs:8:18
[INFO] [stdout]   |
[INFO] [stdout] 8 |         for i in 0..self.regulators.len() {
[INFO] [stdout]   |                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_function_table_entry.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |         for i in 0..self.regulators.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_static_constraints.rs:190:21
[INFO] [stdout]     |
[INFO] [stdout] 190 |             range: (0..table_size),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_witness_generator.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 |         for i_p in 0..self.parameters.len() {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bdd_params/_impl_witness_generator.rs:66:22
[INFO] [stdout]    |
[INFO] [stdout] 66 |         for i_var in 0..self.graph.num_vars() {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bdd_params/_impl_witness_generator.rs:158:34
[INFO] [stdout]     |
[INFO] [stdout] 158 |                 let name = &name[2..];
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/_impl_array_bit_vector.rs:76:18
[INFO] [stdout]    |
[INFO] [stdout] 76 |         for i in 0..self.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/_impl_bit_vector_58.rs:68:18
[INFO] [stdout]    |
[INFO] [stdout] 68 |         for i in 0..self.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/mod.rs:91:10
[INFO] [stdout]    |
[INFO] [stdout] 91 |         (0..self.len()).map(|i| self.get(i)).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/biodivine_std/bitvector/mod.rs:96:10
[INFO] [stdout]    |
[INFO] [stdout] 96 |         (0..self.len()).filter(|i| self.get(*i)).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/biodivine_std/bitvector/mod.rs:101:10
[INFO] [stdout]     |
[INFO] [stdout] 101 |         (0..self.len()).filter(|i| !self.get(*i)).collect()
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/biodivine_std/bitvector/mod.rs:117:18
[INFO] [stdout]     |
[INFO] [stdout] 117 |         for i in 0..self.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/symbolic_async_graph/_impl_symbolic_context.rs:67:26
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 for i in 0..extra_count {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:101:20
[INFO] [stdout]     |
[INFO] [stdout] 101 |         for i_p in 0..network.num_parameters() {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:183:18
[INFO] [stdout]     |
[INFO] [stdout] 183 |         for i in 0..self.num_state_variables() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:477:18
[INFO] [stdout]     |
[INFO] [stdout] 477 |         for i in 0..3 {
[INFO] [stdout]     |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/symbolic_async_graph/_impl_symbolic_context.rs:481:18
[INFO] [stdout]     |
[INFO] [stdout] 481 |         for i in 0..5 {
[INFO] [stdout]     |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:124:58
[INFO] [stdout]     |
[INFO] [stdout] 124 |         Box::new(Binary(Iff, imp(&data[..i])?, iff(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:134:57
[INFO] [stdout]     |
[INFO] [stdout] 134 |         Box::new(Binary(Imp, or(&data[..i])?, imp(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:144:56
[INFO] [stdout]     |
[INFO] [stdout] 144 |         Box::new(Binary(Or, and(&data[..i])?, or(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:154:58
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Box::new(Binary(And, xor(&data[..i])?, and(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:164:63
[INFO] [stdout]     |
[INFO] [stdout] 164 |         Box::new(Binary(Xor, terminal(&data[..i])?, xor(&data[(i + 1)..])?))
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_aeon_parser/_from_string_for_fn_update_temp.rs:176:51
[INFO] [stdout]     |
[INFO] [stdout] 176 |             return Ok(Box::new(Not(terminal(&data[1..])?)));
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:32:57
[INFO] [stdout]    |
[INFO] [stdout] 32 |                 .and_then(|inner| inner.get_child(&path[1..]))
[INFO] [stdout]    |                                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:46:61
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 .and_then(|inner| inner.get_mut_child(&path[1..]))
[INFO] [stdout]    |                                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_annotation.rs:61:38
[INFO] [stdout]    |
[INFO] [stdout] 61 |             entry.ensure_child(&path[1..])
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/_impl_annotations/_impl_annotation.rs:105:57
[INFO] [stdout]     |
[INFO] [stdout] 105 |                 .and_then(|inner| inner.get_value(&path[1..]))
[INFO] [stdout]     |                                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:21:39
[INFO] [stdout]    |
[INFO] [stdout] 21 |             let mut annotation = line[2..].trim();
[INFO] [stdout]    |                                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:38:45
[INFO] [stdout]    |
[INFO] [stdout] 38 |                     annotation = annotation[capture[0].len()..].trim();
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_reader.rs:47:42
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 annotation = &annotation[2..annotation.len() - 2];
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/_impl_annotations/_impl_writer.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |         path = &path[1..];
[INFO] [stdout]    |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_boolean_network.rs:242:10
[INFO] [stdout]     |
[INFO] [stdout] 242 |         (0..self.parameters.len()).map(ParameterId)
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_boolean_network.rs:248:10
[INFO] [stdout]     |
[INFO] [stdout] 248 |         (0..self.update_functions.len())
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/_impl_regulatory_graph/_impl_misc.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 |         (0..self.variables.len()).map(VariableId)
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_regulatory_graph/signed_directed_graph/_impl_sd_graph.rs:10:10
[INFO] [stdout]    |
[INFO] [stdout] 10 |         (0..var_count).map(VariableId::from_index).collect()
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/_impl_space.rs:81:18
[INFO] [stdout]    |
[INFO] [stdout] 81 |         for i in 0..self.0.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public type alias
[INFO] [stdout]    --> src/lib.rs:252:35
[INFO] [stdout]     |
[INFO] [stdout] 252 | pub type VariableIdIterator = Map<Range<usize>, fn(usize) -> VariableId>;
[INFO] [stdout]     |                                   ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public type alias
[INFO] [stdout]    --> src/lib.rs:255:36
[INFO] [stdout]     |
[INFO] [stdout] 255 | pub type ParameterIdIterator = Map<Range<usize>, fn(usize) -> ParameterId>;
[INFO] [stdout]     |                                    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors; 36 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (lib) due to 3 previous errors; 36 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: 38 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9fde9b11d831c27f2694d43d18cf31ddb16eb2a6de071f585355d5464b353043", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9fde9b11d831c27f2694d43d18cf31ddb16eb2a6de071f585355d5464b353043", kill_on_drop: false }`
[INFO] [stdout] 9fde9b11d831c27f2694d43d18cf31ddb16eb2a6de071f585355d5464b353043
